Kinerja Training Kit Mesin Pengisi dan Penutup Botol otomatis Sebagai Media Praktik Programmable Logic Controllers di SMK
نویسندگان
چکیده
This research aims to: (1) develop a prototype of an automatic bottle filling and capping machine training kit as Programmable Logic Controllers (PLC) practice tool in vocational high schools (SMK), (2) assess the performance PLC SMK. adopts development methodology field education. The model used is ADDIE by Robert Maribe Branch. consists following stages: Analyze, Design, Develop, Implement, Evaluate. data collection techniques employed this study are interviews questionnaires, using interview guides questionnaires instruments. obtained were analyzed descriptively. results indicate that: for has been developed, which main components such Conveyor Unit, Water Filling Capping OMRON CP1E N40 Training Kit Components Input/Output Terminal Block. serves SMK; exhibits good performance, demonstrated testing 43 components, all functioned properly. functional conducted under Initial Condition, Watertank Run Cycle Stop Emergency Condition showed that (100%) performed well.
منابع مشابه
A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملModeling and Control PV-Wind Hybrid System Based On Fuzzy Logic Control Technique
Abstrak Ketika permintaan energi di seluruh dunia meningkat, kebutuhan akan sumber energi terbarukan yang tidak akan membahayakan lingkungan juga meningkat. Tujuan keseluruhan dari sistem energi terbarukan adalah untuk memperoleh listrik yang biaya yang kompetitif dan lebih menguntungkan dibandingkan dengan sumber energi lain. Desain yang optimal dari sistem energi terbarukan secara signifikan ...
متن کاملSoftware verification for programmable logic controllers
ion Abstraction is a fundamental concept used in all formal verification methods. Abstracting means replacing a concrete object with an abstract one which is more universal, and therefore, often has a simpler structure than before. A well-chosen abstraction simplifies as much as possible, without losing too much information about the concrete object. Abstractions can be used in different ways d...
متن کاملAutomatic Fault Localization for Programmable Logic Controllers
Programmable Logic Controllers (PLCs) are widely applied to control safety critical systems. Efficient formal and non-formal methods to detect faulty behavior have been developed, but finding the cause of the buggy behavior is often still a manual process. Automatic fault localization for PLCs is studied in this paper. Methods for automated debugging are analyzed and compared with respect to ac...
متن کاملPredicate Abstraction for Programmable Logic Controllers
In this paper, we present a predicate abstraction for programs for programmable logic controllers (PLCs) so as to allow for model checking safety related properties. Our contribution is twofold: First, we give a formalization of PLC programs in first order logic, which is then used to automatically derive a predicate abstraction using SMT solving. Second, we employ an abstraction called predica...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal on Education
سال: 2023
ISSN: ['2654-5497', '2655-1365']
DOI: https://doi.org/10.31004/joe.v6i1.2923